61. FME 2002 : formal methods-getting it right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings
پدیدآورنده : Lars-Henrik Eriksson, Peter Alexander Lindsay )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
رده :
QA
76
.
L28
Vol
.
2391
62. Fields of Logic and Computation II
پدیدآورنده : \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگرهها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
63. Formal Concept Analysis:
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Congresses. ;
64. Formal Concept Analysis
پدیدآورنده : \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها ,منطق ریاضی-- کنگرهها ,روشهای صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
65. Formal concept analysis :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Congresses. ;
66. Formal concept analysis
پدیدآورنده : / Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
E-BOOK
67. Formal concept analysis
پدیدآورنده : Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
QA
،
171
.
5
،.
I55
،
2011
68. Frontiers in Algorithmics
پدیدآورنده : \ Jianxin Wang, Chee Yap (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer algorithms -- Congresses.,Discrete Mathematics in Computer Science.,Algorithm Analysis and Problem Complexity.,الگوریتمهای کامپیوتری -- کنگره ها
رده :
QA
76
.
9
.
F76
2015
E-Book
,
69. Fundamentals of computation theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine theory-- Congresses,، Computer science-- Mathematics-- Congresses,، Computational complexity-- Congresses
رده :
QA
267
.
I57
1985
70. Future tendencies in computer science, control and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992 : proceedings
پدیدآورنده : A. Bensoussan, J.-P. Verjus )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Automatic control,Congresses ، Mathematics
رده :
QA
76
.
L28
Vol
.
653
71. Future tendencies in computer science, control, and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA : Paris, France, December 8-11, 1992 : proceedings
پدیدآورنده : A. Bensoussan, J.-P. Verjus )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Computer science,Congresses ، Automatic control,Congresses ، Mathematics
رده :
QA
76
.
L4
v
.
653
72. Future tendencies in computer science, control, and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA : Paris, France, December 8-11, 1992 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer science-- Congresses,، Automatic control-- Congresses,، Mathematics-- Congresses
رده :
QA
76
.
5
.
I5484
1992
73. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
.
G6
1996a
74. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1L44
Vol
.
6
75. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
G6
1996
76. Graphs and discovery
پدیدآورنده : Siemion Fajtlowicz ... ]et al.[, editors
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Graph theory- Data processing- Congresses,Computer science- Mathematics- Congresses
رده :
QA
166
.
G7354
2005
77. Graphs and discovery
پدیدآورنده : Siemion Fajtlowicz ... [et al.]&, editors
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Graph theory- Data processing- Congresses,Computer science- Mathematics- Congresses
رده :
QA
,
166
,.
G7354
,
2005
78. Graphs and discovery: DIMACS working group, computer-generated conjectures from graph theoretic and chemical databases, November 12-16, 2001, DIMACS Center, CoRE Building, Rutgers University: DIMACS public event, graph theory day 42, November 10, 2001, DIMACS Center, CoRE Building, Rutgers University
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Graph theory-- Data processing,Congresses ، Computer science-- Mathematics
رده :
QA
166
.
G7354
2005
79. Graphs and discovery : DIMACS working group, computer-generated conjectures from graph theoretical and chemical databases, November 12-16, 2001, DIMACS Center, CoRE Building, Rutgers University : DIMACS public event, graph theory day 42, November 10, 2001, DIMACS Center, CoRE Building, Rutgers University
پدیدآورنده : Siemion Fajtlowicz... ]et al.[, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Graph theory,Congresses ، Computer science -- Mathematics
رده :
QA
166
.
D544
2001
80. High performance Computing for Computational Science -- VECPAR 2014
پدیدآورنده : \ [edited by] Michel Dayde, Osni Marques, Kengo Nakajima.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : High performance computing -- Congresses.,Computer science -- Mathematics -- Congresses.,Mathematics of Computing.,دادهپردازی با بازدهی عالی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگرهها
رده :
QA
76
.
88
.
H5
2015
E-Book
,